401. Recent innovations in computing :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
402. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
403. Reliability and robustness of engineering software:edited papers presented at the Lst international Conference, Como,Italy,September 1987
پدیدآورنده : edited by C.A.Brebbia, G.A.Keramidas
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Computer program - Reliability - Congresses ، Engineering,Reliability - Congresses ، Computer software
رده :
TA
345
.
R45
1987
404. Reliable software technologies - ADA-Europe 2015.
پدیدآورنده : \ Juan Antonio de la Puente , Tullio Vardanega (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Reliability -- Congresses.,Software engineering,نرمافزار -- اطمینانپذیری -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
73
.
R4
2015
E-Book
,
405. Reliable software technologies--Ada-Europe 201
پدیدآورنده : Alexander Romanovsky, Tullio Vardanega (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer software, Reliability, Congresses,Software engineering, Congresses
رده :
QA
،
76
.
76
،.
R44
406. Requirements Engineering
پدیدآورنده : \ Samuel A. Fricker , Kurt Schneider (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Requirements engineering -- Congresses.,Computer software -- Quality control -- Congresses.,مهندسی نیازمندیها -- کنگره ها ,نرمافزار -- کنترل کیفی -- کنگره ها
رده :
QA
76
.
758
.
R4
2015
E-Book
,
407. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده : Regnell,Bjorn
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
408. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده : Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
409. Research in Attacks, Intrusions, and Defenses
پدیدآورنده : \ edited by Herbert Bos, Fabian Monrose, Gregory Blanc.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intrusion detection systems (Computer security) -- Congresses. ,Computer science. ,Software engineering. ,علوم کامپیوتر,مهندسی نرم افزار
رده :
QA76
.
76
.
R41
2015
E-Book
,
410. Reuse in emerging software engineering practices :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer software ; Reusability ; Congresses. ;
411. Runtime Verification
پدیدآورنده : \ Ezio Bartocci, Rupak Majumdar (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستیآزمایی -- کنگره ها,روشهای صوری (کامپیوتر) -- کنگره ها,آزمونهای کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
412. SOFSEM 2013
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer science,Software engineering,علوم کامپیوتر -- کنگرهها,علوم کامپیوتر,مهندسی نرم افزار
رده :
E-Book
,
413. SOFSEM 2015
پدیدآورنده : \ [edited by] Giuseppe F. Italiano...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
414. SOFSEM 2016
پدیدآورنده : \ Rūsiņš Mārtiņš Freivalds , Gregor Engels, Barbara Catania (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگرهها ,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
75
.
5
.
S62
2016
E-Book
,
415. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
416. Scientific engineering for distributed Java applications : International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers
پدیدآورنده : Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
2604
417. Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers
پدیدآورنده : Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
3409
418. Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
پدیدآورنده : Nicolas Guelfi, Egidio Astesiano, Gianna Reggio )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
2952
419. Search-Based Software Engineering.
پدیدآورنده : \ Márcio Barros , Yvan Labiche (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگرهها
رده :
QA
76
.
758
.
S4
2015
E-Book
,
420. Second International Conference on Software Engineering for Real Time Systems, 18-20 September 1989
پدیدآورنده : Organised by the Computing and Control Division of the Institution of Electrical Engineers in association with the British Computer Society ... )et al.(; Venue, Royal Agricultural College, Cirencester, UK
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Software engineering,Congresses ، Real-time data processing
رده :
QA
76
.
758
.
I574
1989